The Shape of a Category up to Directed Homotopy
نویسنده
چکیده
This work is a contribution to a recent field, Directed Algebraic Topology. Categories which appear as fundamental categories of ‘directed structures’, e.g. ordered topological spaces, have to be studied up to appropriate notions of directed homotopy equivalence, which are more general than ordinary equivalence of categories. Here we introduce past and future equivalences of categories—sort of symmetric versions of an adjunction—and use them and their combinations to get ‘directed models’ of a category; in the simplest case, these are the join of the least full reflective and the least full coreflective subcategory.
منابع مشابه
Quotient Models of a Category up to Directed Homotopy
Directed Algebraic Topology is a recent field, deeply linked with ordinary and higher dimensional Category Theory. A ‘directed space’, e.g. an ordered topological space, has directed homotopies (which are generally non reversible) and a fundamental category (replacing the fundamental groupoid of the classical case). Finding a simple possibly finite model of the latter is a non-trivial problem, ...
متن کاملModelling fundamental 2-categories for directed homotopy (*)
Directed Algebraic Topology is a recent field, deeply linked with ordinary and higher dimensional Category Theory. A 'directed space', e.g. an ordered topological space, has directed homotopies (generally non reversible) and fundamental n-categories (replacing the fundamental ngroupoids of the classical case). Finding a simple model of the latter is a non-trivial problem, whose solution gives r...
متن کاملUsing non-cofinite resolutions in shape theory. Application to Cartesian products
The strong shape category of topological spaces SSh can be defined using the coherent homotopy category CH, whose objects are inverse systems consisting of topological spaces, indexed by cofinite directed sets. In particular, if X, Y are spaces and q : Y → Y is a cofinite HPol-resolution of Y , then there is a bijection between the set SSh(X, Y ) of strong shape morphisms F : X → Y and the set ...
متن کاملOn lifting diagrams up to homotopy in Frobenius categories
Suppose given a Frobenius category E , i.e. an exact category with a big enough subcategory B of bijectives. Let E := E/B denote its classical homotopy category. For example, we may take E to be the category of complexes C(A) with entries in an additive category A, in which case E is the homotopy category of complexes K(A). Suppose given a finite poset D that satisfies the combinatorial conditi...
متن کاملRelative Directed Homotopy Theory of Partially Ordered Spaces
Algebraic topological methods have been used successfully in concurrency theory, the domain of theoretical computer science that deals with parallel computing. L. Fajstrup, E. Goubault, and M. Raussen have introduced partially ordered spaces (pospaces) as a model for concurrent systems. In this paper it is shown that the category of pospaces under a fixed pospace is both a fibration and a cofib...
متن کامل